Modelling the Checkability of Reusable Code

An important aspect of reusing code is making sure it is used correctly. The easier it is to do this, the easier it is reuse the code with conndence. However techniques developed to do such checking, such as type systems, are not universally accepted because they are regarded as being too diicult to use or too restrictive. We believe a better understanding of \checkability" is important, and we discuss a model of reusability in which the study toward this goal might be carried out. Workshop Goals: Develop models for reusability, Analyse and understand programming language support, Understand impact of speciication on reusability